Consistency model

Results: 268



#Item
81Distributed computing architecture / Transaction processing / Data synchronization / Fault-tolerant computer systems / Causality / Eventual consistency / Replication / Consistency model / CAP theorem / Computing / Data management / Concurrent computing

Joining Forces Toward a Unified Account of LVars and Convergent Replicated Data Types Lindsey Kuper Ryan R. Newton

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2014-02-17 13:55:26
82PageRank / Latent semantic analysis / Learning to rank / Tf*idf / Probabilistic latent semantic analysis / Document retrieval / Relevance / Latent semantic indexing / Search engine indexing / Information science / Information retrieval / Vector space model

Effective Latent Space Graph-based Re-ranking Model with Global Consistency Hongbo Deng Dept. of CSE The Chinese University of

Add to Reading List

Source URL: www.wsdm2009.org

Language: English - Date: 2009-04-14 09:42:13
83Data management / Replication / Optimistic replication / Eventual consistency / Object / Consistency model / Data synchronization / Computing / Computer architecture

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Marc Shapiro, INRIA & LIP6, Paris, France Nuno Preguiça, CITI, Universidade Nova de Lisboa, Portugal Carlos Baquero, Universidade do Minho, Portugal Mare

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2013-10-27 20:43:55
84Earth / Proxy / Paleoclimatology / Climate change / Data assimilation / Climate / Temperature record / Hockey stick controversy / Atmospheric sciences / Climate history / Meteorology

Science Highlights: Investigating Past Interglacials Using data assimilation to estimate the consistency between climate proxies and climate model results Aurélien Mairesse and Hugues Goosse Georges Lemaître Centre fo

Add to Reading List

Source URL: www.pages.unibe.ch

Language: English - Date: 2013-03-22 04:05:45
85Computing / Data / Database management systems / Fault-tolerant computer systems / ACID / Distributed computing / Linearizability / Consistency model / Database / Transaction processing / Data management / Concurrency control

Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services Seth Gilbert∗ Nancy Lynch∗

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2007-09-28 06:19:56
86Data management / Concurrent computing / Linearizability / Serializability / Non-blocking algorithm / Sequential consistency / Consistency model / Thread safety / Monitor / Concurrency control / Computing / Transaction processing

Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt Chris Dern Madanlal Musuvathi

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2010-04-28 14:53:00
87Logic programming / Constraint satisfaction / Local consistency / Common subexpression elimination / SCIP / ECLiPSe / Constraint programming / Declarative programming / Software engineering

Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK

Add to Reading List

Source URL: andrearendl.com

Language: English - Date: 2013-08-29 08:25:07
88Mathematics / Local consistency / Constraint satisfaction / Mathematical optimization / Boolean satisfiability problem / Belief propagation / Bayesian network / Graphical model / Constraint optimization / Constraint programming / Theoretical computer science / Software engineering

Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode]

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2008-09-08 14:27:26
89Constraint graph / Tree decomposition / Bayesian network / Graphical model / Constraint satisfaction / Directed acyclic graph / Graph / Local consistency / Complexity of constraint satisfaction / Graph theory / Constraint programming / Decomposition method

Unifying Cluster-Tree Decompositions for Reasoning in Graphical models∗ Kalev Kask∗ , Rina Dechter∗ , Javier Larrosa∗∗ and Avi Dechter∗∗∗ ∗ Bren School of Information and Computer Science,

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2005-04-17 02:08:23
UPDATE